Church, Alonzo — born June 14, 1903, Washington, D.C., U.S. died Aug. 11, 1995, Hudson, Ohio U.S. mathematician. He earned a Ph.D. from Princeton University. His contributions to number theory and the theories of algorithms and computability laid the foundations… … Universalium
Church, Alonzo — ● /t(ch)*rt(ch)/ np. ►PERS (14/06/1903 11/08/1995). Mathématicien ayant énoncé sa thèse en 1936 à Princeton. La thèse de Church affirme que toute fonction calculable peut l être avec un ensemble réduit d instructions. C est une affirmation… … Dictionnaire d'informatique francophone
Church–Turing thesis — Church s thesis redirects here. For the constructive mathematics assertion, see Church s thesis (constructive mathematics). In computability theory, the Church–Turing thesis (also known as the Church–Turing conjecture, Church s thesis, Church s… … Wikipedia
Alonzo S. Church — was the sixth president of the University of Georgia (UGA) in Athens. He served in that capacity from 1829 until his resignation in 1859.Church was born on April 9, 1793 in Brattleboro, Vermont and died on May 18, 1862 in Athens. He was a 1816… … Wikipedia
CHURCH (A.) — CHURCH ALONZO (1903 ) Mathématicien et logicien, philosophe et historien de la logique, Alonzo Church est né à Washington. Professeur de mathématiques à l’université de Princeton, directeur du Journal of Symbolic Logic , il est selon Kneale «le… … Encyclopédie Universelle
Alonzo Church — This article is about the mathematician and logician. For the president of the University of Georgia, see Alonzo S. Church. Alonzo Church Alonzo Church (1903–1995) … Wikipedia
Alonzo Church — Pour les articles homonymes, voir Alonzo et Church. Alonzo Church Naissance 14 juin 1903 Washington, D.C., (États Unis) Décès 11 août … Wikipédia en Français
Church-Rosser-Theorem — Dieser Artikel wurde auf der Qualitätssicherungsseite des Portals Mathematik eingetragen. Dies geschieht, um die Qualität der Artikel aus dem Themengebiet Mathematik auf ein akzeptables Niveau zu bringen. Dabei werden Artikel gelöscht, die nicht… … Deutsch Wikipedia
Church Frege ontology — The Church Frege Ontology is an ontology, a theory of existence. Everything is considered as being in three categories, object (referent, denotation), name, or concept (sense). The ontology was developed by Alonzo Church [ Church, Alonzo. A… … Wikipedia
Church–Kleene ordinal — In mathematics, the Church–Kleene ordinal, , is a large countable ordinal. It is the smallest non recursive ordinal. It is named after Alonzo Church and S. C. Kleene. References Church, Alonzo; Kleene, S. C. (1937), Formal definitions in the… … Wikipedia
